backward chaining - German English Dictionary